/*
 * MapChangeListener.java
 *
 * Created on 8 de Agosto de 2007, 17:22
 *
 * To change this template, choose Tools | Template Manager
 * and open the template in the editor.
 */

package org.gpp.proj1.ui.gui.lobby;

import java.io.File;

/**
 *
 * @author Gustavo
 */
public interface MapChangeListener {
    public void mapChanged( String mapName, File mapFile );
}
